Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
351	PDF Document Add to Reading List Source URL: courses.cs.vt.edu Language: English - Date: 2005-09-01 15:48:56 Concurrency control Concurrent computing Concurrency Thread Lock Race condition Computing Computer programming Theoretical computer science
352	PDF Document Add to Reading List Source URL: www.greenteapress.com Language: English - Date: 2009-07-15 16:08:51 Readers-writers problem Semaphore Producer-consumer problem Dining philosophers problem Cigarette smokers problem Mutual exclusion Software design pattern Deadlock Thread Concurrency Computing Computer science
353	PDF Document Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2006-10-18 14:25:05 Formal methods Concurrency Diagrams Petri net Theoretical computer science Data transmission Model checking Finite-state machine Reachability Models of computation Automata theory Computer science
354	PDF Document Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2001-11-07 07:43:47 Computer science Formal methods Logic in computer science Programming language semantics Diagrams Petri net Process calculus State transition system Formal language Models of computation Theoretical computer science Concurrency
355	PDF Document Add to Reading List Source URL: dspace.mit.edu Language: English - Date: 2008-09-19 03:02:25 Logic in computer science Concurrency Concurrent computing Axiom Combinatory logic Parallel computing Everything2 Denotational semantics of the Actor model Actor model theory Theoretical computer science Actor model Computing
356	PDF Document Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2009-09-17 09:28:06 Formal methods Theoretical computer science Petri nets Computer science TAPAAL Model Checker ExSpecT Models of computation Diagrams Concurrency
357	PDF Document Add to Reading List Source URL: greenteapress.com Language: English - Date: 2009-07-15 16:08:51 Readers-writers problem Semaphore Producer-consumer problem Dining philosophers problem Cigarette smokers problem Mutual exclusion Software design pattern Deadlock Thread Concurrency Computing Computer science
358	PDF Document Add to Reading List Source URL: formal.cs.uiuc.edu Language: English - Date: 2003-11-10 12:46:30 Concurrency Actor model Theoretical computer science Concurrent computing Inter-process communication Π-calculus Process calculus Lambda calculus Futures and promises Mathematics Computing Process calculi
359	Untitled Add to Reading List Source URL: alexandria.tue.nl Language: English - Date: 2010-09-07 09:09:49 Concurrency Computer science Communicating sequential processes FDR2 Process calculus Divergence Concurrent computing Computing Process calculi